منابع مشابه
Using a Coordination Language to Specify the Invoicing System
In this paper we present the speciication of an \invoicing system": two versions of it are shown. The rst does not take into account any interaction with the environment while the second considers it. The speciications are written in PoliS, a coordination language based on multiple tuple spaces. The operational semantics of PoliS allows the speciication of behavioral aspects of the systems enha...
متن کاملControl of a 2-DoF robotic arm using a P300-based brain-computer interface
In this study, a novel control algorithm, based on a P300-based brain-computer interface (BCI) is fully developed to control a 2-DoF robotic arm. Eight subjects including 5 men and 3 women perform a 2-dimensional target tracking in a simulated environment. Their EEG (Electroencephalography) signals from visual cortex are recorded and P300 components are extracted and evaluated to perform a real...
متن کاملA PVS specification of an invoicing system?
We present a PVS specification of an invoicing system. We use PVS’s features to structure the specification, to define types and operations on them. We put special emphasis on PVS’s capabilities to add information to a specification meant to be redundant, and to check that this information for consistency. We heavily use the possibility to define the type of some argument to a function dependin...
متن کاملA computer control system using a virtual keyboard
This work is in the field of human-computer communication, namely in the field of gestural communication. The objective was to develop a system for gesture recognition. This system will be used to control a computer without a keyboard. The idea consists in using a visual panel printed on an ordinary paper to communicate with a computer.
متن کاملTwo Approaches for a Servomechanism Control System Using Computer Vision
In this paper a servomechanism vision control system, based on hand language, is presented. The control images are acquired by a generic webcam and processed, in the working phase, in quasi real time. For this processing, two approaches were considered: in the first one, we used the object control moments to identify the desired order; in the second approach, we used image control orientation h...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1962
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/5.1.7